Knowledge Base Verification: Criteria and Approaches
نویسنده
چکیده
Knowledge base (KB) is an important component knowledge-based systems (KBS). Due to the fact that KB is often built in an incremental and piecemeal fashion, potential errors may be inadvertently brought into it. KB verification refers to the process of ascertaining the correctness of a KB, which is an integral part of the effort to guarantee the overall correctness of a KBS. KB verification presents a problem of multiple dimensions. Though many verification tools and techniques have been developed or proposed, no coordinated effort has been made in establishing a standard for evaluation and comparison of those tools. It is our hope that the issues raised below and the summary of the existing approaches may serve as a steppingstone toward the convergence of a unified thoery on KB verification.
منابع مشابه
Verification of Distributed Knowledge in Semantic Knowledge Wikis
Recently, the development of distributed knowledge systems has become more attractive due to the existence of new social semantic applications such as semantic knowledge wikis. User-friendly tools like wikis allow for a simple acquisition of formal knowledge, but also pose new challenges in knowledge engineering. In this paper, we reconsider classic criteria for verification in the light of a d...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملAutomatic verification of a knowledge base by using a multi-criteria group evaluation with application to security screening at an airport
Knowledge engineering often involves using the opinions of experts, and very frequently of a group of experts. Experts often cooperate in creating a knowledge base that uses fuzzy inference rules. On the one hand, this may lead to generating a higher quality knowledge base. But on the other hand, it may result in irregularities, for example, if one of the experts dominates the others. This pape...
متن کاملVerification of Multiple Agent Knowledge-Based Systems
The purpose of this paper is to extend verification tests to systems with multiple autonomous agent knowledge bases. Using a classic approach to verification, this paper focuses on tests concerned with consistency, completeness and correctness. In particular, this paper focuses on those unique issues that are generated as we go from single agent systems to multiple agent systems. This paper is ...
متن کاملFormal Notions for Verification of Dynamics of Knowledge-Based Systems
In the literature on validation or verification of knowledge-based systems often a limitation to systems with one knowledge base is chosen, and the focus is on the static properties of these systems. In practice often knowledge-based systems are developed that have some form of compositional structure. Also the reasoning in this structure is controlled, often according to the compositional stru...
متن کامل